Real-time operating system

Results: 346



#Item
221Gernot Heiser / L4 microkernel family / Microkernel / Formal verification / Kernel / Embedded system / Ring / Linux kernel / Operating system / Computer architecture / System software / Software

Operating System Verification for Real Use Gernot Heiser School of Computer Science and Engineering, University of New South Wales, and Embedded, Real-Time and Operating Systems Program, National ICT Australia Sydney, Au

Add to Reading List

Source URL: ceur-ws.org

Language: English - Date: 2008-07-22 18:53:53
222Real-time operating systems / Linux / RTAI / Computing platforms / L4 microkernel family / Linux kernel / Kernel / Latency / RTLinux / Computer architecture / Computing / Software

L4-Linux Based System As A Platform For EPICS iocCore J. Odagiri, N. Yamamoto and T. Katoh High Energy Research Accelerator Organization, KEK

Add to Reading List

Source URL: www.slac.stanford.edu

Language: English - Date: 2002-01-29 15:43:39
223Technology / MQX / Electronics / Freescale Semiconductor / Universal Serial Bus / Embedded system / ARM architecture / Joint Test Action Group / Computer architecture / Embedded operating systems / Real-time operating systems

Freescale MQX™ RTOS[removed]FRDM-K64F Release Notes - Release Notes

Add to Reading List

Source URL: cache.freescale.com

Language: English - Date: 2014-04-11 17:59:22
224Electronic engineering / Embedded operating systems / Field-programmable gate array / Real-time operating system / Embedded system / Scheduling / Xilinx / Operating system / CompactRIO / Classes of computers / Reconfigurable computing / Computing

SEMINAR THURSDAY FEBRUARY 15, 2007 Scaife Hall Auditorium Room 125

Add to Reading List

Source URL: www.ece.cmu.edu

Language: English - Date: 2012-10-03 11:21:29
225Technology / Wind River Systems / Computer architecture / VxWorks / Embedded system / Embedded software / Operating system / AdaCore / PSOS / Real-time operating systems / Embedded operating systems / Computing

WindRiver_CMYK_med [Converted].eps

Add to Reading List

Source URL: www.windriver.com

Language: English - Date: 2015-01-05 09:07:31
226Technology / Wind River Systems / Computer architecture / VxWorks / Embedded system / Embedded software / Operating system / AdaCore / PSOS / Real-time operating systems / Embedded operating systems / Computing

WindRiver_CMYK_med [Converted].eps

Add to Reading List

Source URL: windriver.com

Language: English - Date: 2015-01-05 09:07:31
227Embedded operating systems / Real-time operating systems / Commodore VIC-20 / Retrocomputing / VICE / QNX / Software / Computing / System software

PRODUCT DESCRIPTION Command Alkon COMMANDbatch-OS (Open Solution) Part Number: OS-25, OS-50, and OS-100 (depending on the Model)

Add to Reading List

Source URL: www.commandalkon.com

Language: English - Date: 2014-09-08 19:22:31
228Software / Android / Mobile operating system / Mobile application development / Windows Mobile / Telemedicine / Bluetooth / Computing platform / Mobile business intelligence / Computing / Smartphones / Technology

Real-Time Biosignal Acquisition and Telemedicine Platform for AAL Based on Android OS Hugo Silva1,2,3 , Andr´e Lourenc¸o1,2,4 , and Nuno Paz3,4 1 3

Add to Reading List

Source URL: plux.info

Language: English - Date: 2011-01-03 05:20:53
229Embedded operating systems / Scheduling / Thread / NetBSD / QNX / Scheduler activations / Real-time operating system / Kernel / Affinity mask / Computing / Computer architecture / Concurrent computing

Thread scheduling and related interfaces in NetBSD 5.0 Mindaugas Rasiukevicius The NetBSD Project rmind at netbsd org May 4, 2009

Add to Reading List

Source URL: www.netbsd.org

Language: English - Date: 2009-05-04 10:58:41
230Technology / System software / Embedded system / Operating system / TenAsys / MQX / Real-time operating systems / Embedded operating systems / Computer architecture

WHY USE A COMMERCIAL RTOS

Add to Reading List

Source URL: www.on-time.com

Language: English - Date: 2012-01-12 05:42:00
UPDATE